Language-oriented programming - PDFSEARCH.IO - Document Search Engine

Language-oriented programming
Results: 1157

#	Item
951	Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended Report) Kenneth Knowles† Aaron Tomb† Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-05-25 12:49:26 Programming language theory Data types Type systems Formal methods Object-oriented programming Type safety Subtype polymorphism Simply typed lambda calculus Type inference Software engineering Type theory Computing
952	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
953	Python 2.5 quick reference John W. Shipman[removed]:21 Abstract A reference guide to most of the common features of the Python programming language, version Add to Reading List Source URL: infohost.nmt.edu Language: English - Date: 2011-08-01 16:21:27 Data types Object-oriented programming Primitive types Procedural programming languages Python Primitive data type Immutable object Boolean data type Iterator Computing Software engineering Computer programming
954	Space-Efficient Gradual Typing David Herman1 , Aaron Tomb2 , and Cormac Flanagan2 2 1 Northeastern University University of California, Santa Cruz Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-03-07 18:27:14 Type theory Data types Object-oriented programming Functional languages Procedural programming languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Computing Programming language theory
955	The HOP Development Kit Manuel Serrano Inria Sophia Antipolis 2004 route des Lucioles - BP 93 F[removed]Sophia Antipolis, Cedex, France http://www.inria.fr/mimosa/Manuel.Serrano Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Computer file formats HTML RSS Document Object Model XML Hop Service-oriented architecture Programming language Application programming interface Computing Technical communication Markup languages
956	Java miscellany literals An integer literal in Java normally denotes an int value, but an integer literal with the suffix l or L denotes a long: 35[removed]an int 35L[removed]a long Add to Reading List Source URL: codeschool.org Language: English - Date: 2011-01-07 00:22:11 Java programming language C programming language Object-oriented programming C++ Control flow C syntax Java syntax Main function Eval Software engineering Computing Computer programming
957	[removed]THE BASE TRANSFORMATION LANGUAGE L0+. The purpose of this document is to give a definition of meta-model transformation language L0. This language is a rather low level procedural textual language, with contro Add to Reading List Source URL: lx.mii.lu.lv Language: English - Date: 2007-11-06 05:46:42 Data types Object-oriented programming Source code Pointer Attribute Object Subroutine C Parameter Software engineering Computing Computer programming
958	EvoJ Technical Guide Release 3.0 Contents 1 Framework overview.........................................................................................................................3 2 Core principles................. Add to Reading List Source URL: evoj-frmw.appspot.com Language: English Object-oriented programming Cybernetics Interfaces Java programming language Genetic algorithm Class Artificial neural network Mutation Evolutionary algorithm Computing Software engineering Computer programming
959	NATIONAL ENGINEERING COLLEGE (An Autonomous Institution Affiliated to Anna University Chennai) K.R.NAGAR, KOVILPATTI – [removed]REGULATIONS[removed] Add to Reading List Source URL: nec.edu.in Language: English - Date: 2014-06-15 07:06:48 Computer science Computer Science and Engineering Database Algorithm Applied mathematics Computer Object-oriented programming Programming language Mathematical optimization Computing Education in Tamil Nadu National Engineering College
960	The OCaml Language Syntax let f x = expr let rec f x = expr apply: Add to Reading List Source URL: camlunity.ru Language: English - Date: 2012-03-14 13:05:36 Subroutines Data types Functional programming Object-oriented programming C++ Immutable object Anonymous function Main function Constructor Software engineering Computing Computer programming

UPDATE